An explicit generating function arising in counting binomial coefficients divisible by powers of primes

摘要

For a prime $p$ and nonnegative integers $j$ and $n$ let $\vartheta_p(j,n)$be the number of entries in the $n$-th row of Pascal's triangle that areexactly divisible by $p^j$. Moreover, for a finite sequence $w=(w_{r-1}\cdotsw_0)\neq (0,\ldots,0)$ in $\{0,\ldots,p-1\}$ we denote by $\lvert n\rvert_w$the number of times that $w$ appears as a factor (contiguous subsequence) ofthe base-$p$ expansion $n=(n_{\mu-1}\cdots n_0)_p$ of $n$. It follows from thework of Barat and Grabner (Digital functions and distribution of binomialcoefficients, J. London Math. Soc. (2) 64(3), 2001), that$\vartheta_p(j,n)/\vartheta_p(0,n)$ is given by a polynomial $P_j$ in thevariables $X_w$, where $w$ are certain finite words in $\{0,\ldots,p-1\}$, andeach variable $X_w$ is set to $\lvert n\rvert_w$. This was later made explicitby Rowland (The number of nonzero binomial coefficients modulo $p^\alpha$, J.Comb. Number Theory 3(1), 2011), independently from Barat and Grabner's work,and Rowland described and implemented an algorithm computing these polynomials$P_j$. In this paper, we express the coefficients of $P_j$ using generatingfunctions, and we prove that these generating functions can be determinedexplicitly by means of a recurrence relation. Moreover, we prove that $P_j$ isuniquely determined, and we note that the proof of our main theorem alsoprovides a new proof of its existence. Besides providing insight into thestructure of the polynomials $P_j$, our results allow us to compute them in avery efficient way.